|
|
Nové techniky návrhu celulárních automatů
Baláž, Martin ; Drábek, Vladimír (oponent) ; Bidlo, Michal (vedoucí práce)
Cílem této diplomové práce je uvést novou techniku návrhu celulárních automatů, která poskytne lepší možnosti implementace a řešení zadaných problémů v prostředí neuniformních automatů. V rámci této práce byly položeny teoretické základy k problematice celulárních automatů a byly přezkoumány možnosti jejich návrhu pomocí dvou evolučních principů, které se běžně používají - genetický algoritmus a celulární programování. Byly vybrány dva principiálně výrazně odlišné problémy, na kterých byly možnosti a schopnosti těchto technik prověřeny: problém synchronizace a systém implementace logických hradel v prostředí celulárního automatu. Na základě přezkoumání implementačních vlastností a na základě prvních výsledků použití těchto metod byla vytvořena nová metoda návrhu celulárních automatů - celulární evoluce. Celulární evoluce se svojí metodou "predikce budoucího stavu okolních buněk" poskytuje nové možnosti v návrzích automatů, jelikož pracuje se strukturovanými geny, které umožňují, aby byl daný gen aktivní pro více různých celulárních okolí. V závěru práce byly na vybraných dvou problémech porovnané všechny tři metody a jejich schopnosti byly shrnuty v podrobném přehledu.
|
|
| |
|
|
Strukturní design pomocí celulárních automatů
Bezák, Jakub ; Vašíček, Zdeněk (oponent) ; Bidlo, Michal (vedoucí práce)
Cílem tohoto textu je čtenáři co nejvíce přiblížit problematiku celulárních automatů, jejich návrhu a použití pro strukturní design. Na návrh automatů se nejčastěji používá genetických algoritmů, které jsou zde pro lepší pochopení také prezentovány. Jako struktury jsou použity řadicí sítě, které však nejsou součástí automatů, ale jsou generovány samostatně, pomocí pravidel lokální přechodové funkce automatu.
|
|
|
Tvorba operačního systému založeného na evolučních a genetických algoritmech
Skorkovský, Petr ; Moučka,, Jiří (oponent) ; Kovár, Martin (oponent) ; Chvalina, Jan (vedoucí práce)
Hlavním cílem této práce je představit nové myšlenky, jak obvyklé postupy pro návrh operačního systému a přidruženého software mohou být vylepšeny aby se staly součástí automatizovaného vývoje software. Obecně se předpokládá, že algoritmy nalezené pomocí genetického programování nemohou být použity pro přesné výpočty, ale jen pro přibližná řešení. Je představeno několik příkladů jak lze při evoluci software přesto dosáhnout přiměřené přesnosti. Pro dosažení tohoto cíle jsou vlastnosti stromově orientovaných struktur spolu s postupy používanými u buněčných automatů spojeny do nového slibného přístupu, který slučuje výhody obou metod. Byla vyvinuta aplikace založená na těchto nových postupech a předpokládá se její budoucí využití v procesu automatizovaného vývoje software.
|
|
|
Procedurální generování struktur typu dungeon
Šipoš, Marek ; Rychlý, Marek (oponent) ; Bartík, Vladimír (vedoucí práce)
Hlavním cílem této bakalářské práce bylo navrhnout a vytvořit knihovnu pro procedurální generování dungeonů a webovou aplikaci pro její praktické využití. Knihovna nabízí konfigurační rozhraní, generování výstupu podle této konfigurace a souborovou podporu. Webová aplikace pak umožňuje získaný výstup vizualizovat. Pro implementaci byl zvolen jazyk Java.
|
|
|
Diskrétní simulace programovatelných systémů
Mynář, Pavel ; Zuzaňák, Jiří (oponent) ; Mlích, Jozef (vedoucí práce)
Předmětem této práce je návrh a implementace softwarové knihovny pro diskrétní simulaci programovatelných, navzájem komunikujících jednotek, a implementace několika názorných příkladů nad touto knihovnou. Knihovna je navržena jako platformě nezávislá, co možná nejrobustnější a jednoduchá na ovládání.
|
|
| |
|
|
Editor a simulátor silničního provozu pomocí celulárních automatů
Vašátko, Libor ; Zbořil, František (oponent) ; Žák, Jakub (vedoucí práce)
Tato práce se zabývá celulárními automaty, především jejich aplikací v oblasti simulace dopravy. Z existujících simulačních modelů jsou analyzovány modely Nagel-Schreckenberg a Brake-light, pro které je navrženo rozšíření pro simulaci křižovatek. Následně je navržena a vytvořena aplikace umožňující editaci a simulaci modelu libovolné křižovatky se světelnou signalizací. Tato aplikace umožňuje porovnávat různé simulační modely při simulaci jedné křižovatky a také podporuje přidávání dalších simulačních modelů. Závěrem je testováno navržené rozšíření simulačních modelů.
|
|
|
Calibration of the high-speed traffic microsimulation
Korček, Pavol ; Apeltauer, Tomáš (oponent) ; Pospíchal, Jiří (oponent) ; Sekanina, Lukáš (vedoucí práce)
This dissertation thesis is focused on the high-speed simulation of road traffic and its precise calibration with different types of traffic data. The thesis surveys the state of the art in traffic simulation, with a special focus on traffic simulators and the data they utilize. A new traffic microsimulation model inspired by existing cellular automaton-based model is proposed and its features and parameters are discussed. The proposed acceleration techniques allowed the utilization our microsimulation model beyond the real-time simulation even for large scale systems. The complex process of quality assurance is tightly associated with the model calibration. A brand new calibration methodology that is based on the evolutionary algorithms is proposed. It was found that the proposed method does not require a sensitivity analysis. The method is also capable of determining the parameters that are hard to estimate with other well know techniques. The quality of the resulting optimized models was experimentally analyzed and discussed at both the macroscopic and microscopic traffic levels. The method is robust enough to deal with missing samples and other imperfections of the real data. Properties of the proposed model such as the scalability and accuracy were evaluated with respect to the existing solutions, showing a considerable improvement of the state of the art. The software tools that were created within the research are briefly presented. Finally, the thesis also outlines further steps of research and development, especially the use of the proposed tools in practice.
|
|
|
Zobrazení mraků v reálném čase
Dostál, Radek ; Španěl, Michal (oponent) ; Herout, Adam (vedoucí práce)
Práce se zabývá algoritmy schopnými zobrazit mraky v reálném čase. Teoretická část popisuje fyzikální princip oblaků a seznamuje s vybranými metodami pro jejich modelování a vykreslování. Cílem praktické části je implementovat jeden z algoritmů, schopný běžet v reálném čase a vyvinout aplikaci, která jej bude demonstrovat.
|
host ::
RSS.